[[Complete lattice]]
# Dedekind-MacNeille completion

The **Dedekind-MacNeille completion** of a partially ordered set is the smallest [[complete lattice]] which contains it. #m/def/order 

## Examples

- The completion of $\mathbb{Q}$ and thus $\mathbb{R}$ is the [[Extended real line]].

#
---
#state/stub | #lang/en | #SemBr